public final Type   SHORT_TYPE() {return SHORT_CLASS.type();}
public final Type   SHORT_TYPE() { return SHORT_TYPE.type().resultType(); }
    public final Type   SHORT_TYPE() {return SHORT_CLASS.type();}