Super-monster patch implementing the new typechecker -- at last