turn off triplicate
delete text artifacts from semantics.scrbl
first draft of section 3.3