prepare for introducing logicT
remove dependency on backtrack monad from MB/Arctic