Instantiate a typechecker