Added satisfies-quantterm? function.
Rewrite restriction-subset? so it works properly.