Fixed typos in the extension.
Added printability, the ability to test for observations, and one more assersion to the deduction code.
Made use of the new is_observation(...) method to prevent multiple deletion of non-observation annotation facts.
Decided that, yes, the get_owner method on monoid sequence iterators should be provided.
Got the parser in what seems to be a working state.
Added some of the built-in language.