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