Datalog: produce Apply instead of Project

I'm sick of mapping Project to something without Duplicate elimination semantics.
The real solution is to make Datalog emit an Apply instead of a Project, since that
seems to be the desired semantics by the Datalog users. Then the rest of the rules
can make sense.
raco: make all the Project-related rules correct