remove extra type checking in Semant