Fixed description.
Do something better in Complexity.sup

This is still not too good, though.
Made GSCs dumpable again.
A mapping X_i -> ... is only useful for PRFs.
Implemented first version of separation.

It is currently not used, and it is somewhat unclear to me how and
when to use it.