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
    Merge with branch 'prover': Alternative implementations of LogicT and separating Unify and Derive