Could we make enums comparable with eq? Enum=? will then be a
(possibly) type-checking wrapper around eq?.

I haven't yet checked the sample implementation, but to me, it seems
to be implementable without much overhead.

This will make enums equally fast than symbols in many use cases and
will easily allow them as keys in hash tables.

Marc