for_all

for_all quantors for use in analysis parts of contracts

These quantors can be used to check that predicates hold for all values
of one or several specific types.

NYI: If open generics could be passed as actual generic arguments, we no
longer need this code duplication here:
for_all(A..., f A -> bool) bool is intrinsic