Initial checking
gitignore for builds and project overhead
Multiple improvements with pretty printing, simplification of the unification process and prep-work for proper entailments
Resolving repo-async
Resolving repo-async and fixed unify
Initial GUI and yet another repo-async-fix
Starting the Property-refactoring
Halfway working in Logger (as opposed to println) tracing.
Finished refactoring Given to a Property (modulo, possibly, the removal of stringProperty)
String-refactoring
First attempt at proper GUI
Commit for Tx
We seem to have arrived at a  rudimentary working version... we still haven't thought about scoping assumptions, though :(