Switched Control.Monad.Free.Church to export MonadFree and to use the common liftF