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