New numbers on typechecking/compiling