I can finally encode LogicT!!

Lots of experimentation on how to encode LogicT.
I finally came to the conclusion that it's impossible
to do it using only the standard continuation monad,
the return type doesn't have enought polymorphism.
Hence the new higher order Cont in ContTT which can
handle LogicT just fine.