A property library for Python 3