Annotations for ADT: data classes and discriminated unions

Annotations and helper stuff for algebraic data types that allows you to create immutable data classes and discriminated unions, that compare as value types.

• Immutable data class with copyWith method.
• Immutable discriminated unions with pattern matching.

For immutable collections, you can use immutable_collection.