General basis for immutability and serialization (and other "data class" features) without code gen.

General basis for immutability and serialization (and other "data class" features) without code gen. #945