Another try to define queries: steps + somposition; WIP, but promising (diverging implicits strike again)