Python runtime library for Dafny, providing essential data structures, type representations, and utility functions for executing Dafny-compiled Python code