Re: 'subtype' syntax change proposal