Adding a test that checks for SPJ's recent fix entitled "quantify over unbound type vars in RULE lhs's"
