Infrastructure for extended formulas (e.g., with two parts on the right hand side).
No content added.
The project summary page you can find here.
