TM Applications must not allow values to be conferred on the SIDPs of any of the role players of assertions whose assertion types are unspecified.

Note possible revision required if all assertions are required to
have a type.