Sequences: small fixes.
Framework: Replace A, S and S' with R^+.

This makes things way easier to formulate without really affecting the
scope of the framework that much.