Type-safe records in Java, to be used instead of maps or value objects.