Unit

Sum and Product types usually have a type Void/Zero and Unit.

Void stands for the type with no values. Unit stands for the type with one value.

In peak, Unit would be useful for specifying instructions without any arguments. For example,

```
class NOP(Unit):
    pass
```

Or, is there another way to do this?