typy sémantické