remove typecheck2