Simplification of string equality in generated enum defs is slow

simpl chokes on simple string equality tests. We should try to get rid of them, and e.g. represent the tags of enums differently (maybe as numbers), so that we perform equality tests on numbers instead. We could still have string-tags without a semantic meaning for better readability.