Initial commit; initial set of vocabs

Things which still need to be done with what is here :—

- Domains and ranges should be inferred, but aren¦t currently.

- Many terms involve more axioms than they need stricty need to,
  because they were written before the generated webpage supported
  basic inferencing.

- Better handling/display of term statuses??

- Honestly, everything probably deserves another close review just for
  accuracy.

Planned future work :—

- Support for profiles (i·e, subsets of the ontology with additional
  constraints).

- A lot more terms in the `ladys:` name·space.