additionalOperators

Adds ANNOTATION_OPERATOR (the :: probability-annotation operator) on top of the operators already known to the Library this is mixed into.