Types to be implemented in the refinements language in the future: - [ ] Boxed types (`Integer`, `Boolean`, etc.) - [ ] Nulls - [ ] Enums - [ ] Strings - [ ] Arrays - [ ] Generics