Update cross-compiler, and fix some things in the typechecker.