Add pedagogical example to verify spec
Some pedagogical examples
Merge branch 'feature/Extensions' of github.com:kaptoxic/InSynth into feature/Extensions
DAG benchmarks (simple) + refactoring
Make ClassDAG example work