The class mcf.formula represents a mcf formula. See reda for details.