Please MERGE to 6.6.1

Consider this RULE
    forall (c::Char->Int) (x::Char). 
	f (c x) = "RULE FIRED"

Well, this should only match on arguments of the specified type
But we simply weren't checking this condition before.  Now we are.

Test is simplrun008