EPLT alpha2.1 "Correct Curry"

Commands so far:

:quit
:showLaws
:addLaw
:loadLaws (replaces previous LawBank)
:prove (interactive theorem proving)

...and more to come.

TODO:
Incremental theorem proving with session support (adding and using proved theorems)
Show instances (Law, Subts)
Use haskeline in interactive theorem proving 
Profiling
...
Profit. (?)