!7

p-exp {
  assertEqualsVerbose(3, optPar(litparams(a := 3), 'a));
  assertEqualsVerbose(3, optPar(litmapparams(a := 3), 'a));
  assertEqualsVerbose(3, optPar(paramsPlus(litmapparams(a := 3), b := 4), 'a));
  assertEqualsVerbose(4, optPar(paramsPlus(litmapparams(a := 3), b := 4), 'b));
  assertEqualsVerbose(3, optPar(paramsPlus(litparams(a := 3), b := 4), 'a));
  assertEqualsVerbose(4, optPar(paramsPlus(litparams(a := 3), b := 4), 'b));
  assertEqualsVerbose(4, l(paramsPlus(litparams(a := 3), b := 4));
  assertEqualsVerbose(1, l(paramsPlus(litmapparams(a := 3), b := 4));
}