Full support for annotation properties.

Now have a defannotationproperty function which adds annotation properties to
the ontology and can, itself, take annotations.