Type pattern guard function should include argument types

Instead of a guard:

x1', .., xn' = guard(x1, .., xn, pred);

We want to include the type ti for each argument xi:

x1', .., xn' = guard(x1, .., xn, t1, .., tn, pred);