checkExp handler changed to Exp -> TCM Type