Rewrite theorems, remove hierarchy, add metadata dict (#15)

* Rewrite theorems, remove hierarchy, add metadata dict

* Fix cyclic theorem errors

Author: sorgfresser

CMakeLists.txt

@@ -18,8 +18,7 @@ find_package(Python COMPONENTS Interpreter Compiler Development)
 
 add_executable(htps src/main.cpp src/graph/base.cpp src/graph/graph.cpp src/graph/htps.cpp src/model/policy.cpp)
 target_include_directories(htps PRIVATE external/glob/single_include)
-add_executable(pythonhtps python/htps.cpp src/graph/lean.cpp src/graph/htps.cpp src/model/policy.cpp src/graph/base.cpp src/graph/graph.cpp
-        python/htps.h)
+add_executable(pythonhtps python/htps.cpp src/graph/htps.cpp src/model/policy.cpp src/graph/base.cpp src/graph/graph.cpp)
 target_include_directories(pythonhtps PRIVATE external/glob/single_include)
 
 target_compile_definitions(pythonhtps PRIVATE PYTHON_BINDINGS)