Fixes #110

Adds an OperatorEnumeration attribute to the possible_restriction
element in external variables. Updates the documentation specifying
default behavior.