new typing in TypeCheck

this is for CliteF btw