В понимании теории самые сложные - это ТУАИ и «Кроме людей» (причем вторая — из-за плохой структурированности и того, что непонятна разница между многими линейками). В плане самотипирования — у каждого свои.