Add a function to print debug messages
Reindent correctly (when printed) advanced tests
Use OUnit2 for the tests so that make's test target fails as soon as a test fails
Use the static environment when applying functions
identation
Avoid merged states in the dot output
Be more verbose when printing closures; limit the size of nodes in graph output
Church numerals test pass with Map-based store