Remove Section
makeDefinition -> newPublicDefinition
Refactor LabeledApplyEdit
Infix PresentationMode supported. ExampleDB uses it rather than curried infix. BROKEN: No proper Hole support for infix yet.