Infrastructure for extended formulas with multiple parts on the
right-hand side and/or multiple responses on the left-hand side.