find-frames now will find frames based on their built-in aliases (e.g., not or xor).
Variable restrictions are no longer expanded if the expanded version will have more arguments than the frame for the fsymbol allows.