No we should not support enum types derived from strings

[Timon Gehr]

On 11.05.21 16:38, Paul Backus wrote:
> allocating from the global (!) heap, which arguably *should* be impure

I think this is confusing different levels of abstraction. What should 
be impure is accessing memory addresses as integers.