Unfolding

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)