Top-Level expansion of a Term is slighly different the later levels. A the top it's always ident.map(id => ...) if Ident is an option as opposed to OptionMap which it would be, in lower layers.
Top-Level expansion of a Term is slighly different the later levels. A the top it's always ident.map(id => ...) if Ident is an option as opposed to OptionMap which it would be, in lower layers.
Legend: T(x, [y,z]) := Term(x=name, children=List(y,z)), T-Opt=OptionalTerm I.e. term where optional=true P(a, b) := Property(a, b) i.e. a.b M(a, v, P(v, b)) := Map(a, v, P(v, b)) or m.map(v => P(v, b))