Rework typechecking so that a human being can read it