semantica dos tipos