Simplify type checker