Value types

- support classes that are immutable and use value-based equality

Then the discussion became more about DDD itself.