Add the ability to bypass type checking for a term, and therefore fix the ordering problem.