update typechecker for #634