export function createOperatorAdd(
    options: { m?: string; n?: string; f?: string; x?: string } = {}
): ILCExpression {
    // + : λm.λn.λf.λx.((n f) ((m f) x))
    const m = v(options.m, 'm');