added type modifiers (alongside type multiplicities)