Datalog in Morel

This week we added Datalog support to Morel — not by building a Datalog engine, but by adding a language feature called predicate inversion.