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