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