A high-level abstraction library for Python