let raiseErrorWithCode := (\part \code [part code]) in
let raiseMissingSymbolError := Composition.raiseMissingSymbolError in
let error? := (\a Builtins.cons? a) in
FIXME