Map a list of expressions to a list of expressions in the language definition.
(ldm-expr-list exprs) → (mv erp exprs1)