Condition operators are now fully typed, making it easier to subclass

without any typing issues. Some of the documentation has also been

updated to better style correctly when generating docs.
There are some types we have to ignore, due to type checkers being

unhappy with overriding a property with a value. Separate work will need

to be done to address this.

Unit tests pass.