tags and .gitignore
signature and type declarations for Earley resolution;
Datalog.term has a third case (Query), not exposed to the user