public static boolean literalTypeP(Surrogate type) {
    { Stella_Object value = type.surrogateValue;

      return (Stella_Object.isaP(value, Logic.SGT_STELLA_CLASS) &&
          (Surrogate.subtypeOfP(type, Logic.SGT_STELLA_LITERAL) ||
           Surrogate.subtypeOfP(type, Logic.SGT_STELLA_LITERAL_WRAPPER)));
    }
  }