Implement lifted constructors for query

"Smart" constructors that lift query into the free monad