Typechecker update