Debugger
create InferT as newtype
Driver trivial execution with debugger
Merge ComputerAnswer only from "negation"
Driver simple handler
Merge with "debugger"