النوع النظري للدلالات