desugar enum to abstract final clafer in dynamic model

In a dynamic model, `enum` should be desugared as follows:

```
enum UserRequest = stop | up | down
```

```
abstract final UserRequest
stop : UserRequest 
up : UserRequest
down : UserRequest
```
