sl2: Frameworks for fixed-point analysis.

This doesn't do anything yet, but provides the structure for constant
analysis.