Discovered a bug in Unify
Sort of hacky solution to the occurs check problem
Forgot to add the Main module
Add profiler output to the .gitignore
Reorganization, and different planning monad