update typecheckr