Function allOf

Filter conjunction on a shared role set. All inputs must share the same set of roles (throws otherwise); for each role the guards are combined with &&. The resulting data type is the intersection.