Types to be implemented in the refinements language in the future: - [x] Enums - [ ] Chars - [ ] Nulls - [ ] Strings - [ ] Arrays - [ ] Lists - [ ] Generics
Types to be implemented in the refinements language in the future: