Sure, we're happy to consider pull requests. Schemas are already optional -- you can have a s/defn with no, some, or full schematization. You can also put the

Sure, we're happy to consider pull requests. Schemas are already optional -- you can have a s/defn with no, some, or full schematization. You can also put the schemas in the meta if you don't like the :- syntax. I'm not quite sure what you mean by the other point though. My email is in my profile, let's talk :)