bug fix in "TypeIs"
Integrated typechecking