Added Type_k
Added syntactic part to Sem