Clarify trait specification to clarify whether traits are mono or multi-value

[DarkArc]

IFC traits do not note whether there should be one trait per DeclIndex or (potentially) multiple traits per DeclIndex. This should be clarified (ideally per trait, e.g., function definitions it doesn't make sense to have multiple traits, attributes there is an argument for, though this is redundant with the attribute tuple).