A declarative library for Python