allow Java records as embeddable types

[gavinking]

Java records don't work well as entity types, but they are perfectly good embeddable types, and so we should bless their use in this context.