Updated typechecker.