Идеи и концепции теоретических типов