Changed reified symbols to be notations rather than definitions to allow
pattern matching.