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