added basic sema for type kinds