Tej proposed (here) three possible choices. Bassam suggested (here) that we defined both a 'kind' (Boolean/Sequence) and a 'type', the latter being independent of HDL types but easily mappable. On Dec 28th, we discussed the options and concluded that we should adopt options #1 and #3. Tej developed a complete proposal based on this decision. After Tej's detailed proposal came out (see First Draft, below), Sitvanit objected (here) to the proposal to move sections 6.1.3, 6.1.4, 6.2.4. However, in the subcommittee meeting, this change was generally supported. Sitvanit also raised an issue about whether the proposal makes it clear that a sequence or property instantiation can be used as an actual parameter.