trans UnDeref
more typecheck during trans