'subtype' syntax change proposal