public Object up() {
   TypeConstructor tc = getTypeConstructor();
   if ((tc instanceof UserDefinedTypeConstructor)) {
     TypeMapping mapping = ((UserDefinedTypeConstructor) tc).getMapping();
     if (mapping != null) {
       return mapping.toJava(getArg().up());
     }
   }
   return super.up();
 }