Simplify expression typechecking