validTriggerTypes in QuantifiedPermModule is too permissive

[viper-admin]

Created by @alexanderjsummers on 2019-03-10 18:07

The pattern-match uses underscores to mask certain sub-expressions; although unlikely, it should be possible to write terms in these positions which are not allowed to occur in triggers, and these would nonetheless be allowed by the function.