Initial unfold implementation. Marked as draft because I don't know how to write tests for this. How should I compare 2 sfgs?
Closes #84 (closed)