Add question about type system convenience to values-types post draft.