feat: new monadic Query design

[matthunz]

moveRec :: (Applicative f, MonadFix m) => Query f m (f Position)
moveRec = mdo
  vs <- queryMap $ \vs' -> (\(Position p) (Velocity v) -> Velocity $ p + v) <$> ps <*> vs'
  ps <- queryMap $ \ps' -> (\(Velocity v) (Position p) -> Position $ p + v) <$> vs <*> ps'
  return ps