Big performance boost for all things involving type checking (especially the automated prover.)