After much deliberation it was decided that matching ints against enumeration
types is too weird (at least now).  Adapt the spec to show an alternate way
of doing this using the topic as set by the smartmatch.  Closes #117875.