Logic alternative implementations
Minor fix of the shift/reset fail definition
Split prover to Derive and Unify modules
Infer now is lifted from IO
conditional compilation of LogicT implementation
Debugger
create InferT as newtype
Driver trivial execution with debugger
Merge ComputerAnswer only from "negation"
Driver simple handler
Debugger and HopesIO into separate files
Merge branch 'master' into debugger
DebugT contains parametrized state and DebugState is now in Debugger
Debugger commands
Added special constructors for list to help pretty printing
Added abstract debug commands
Debug on/off
Bug with anonymous variables. Custom equality added
Merge branch 'prover'
Merge branch 'debugger'