I tried:

class SSLContext(_SSLContext):
    ...

    @property
    def options(self):
        return Options(super().options)

    @options.setter
    def options(self, value)
        super().options = value
    #          ^^^^^
    #          This fails with an AttributeError

    # it would be cool to have something like this:
    options = MagicEnumWrapper(Options)


About the shorter names, I'm worried that it might confuse people. The long names have been module constants for a long time.