comments on residuation
towards more clear code structure
towards more clear code structure: merging ast and syntax operations
towards more clear code structure: merging syntax and decomposition
towards more clear code structure: putting labels, and steps into semantics.scala
one more example refactored/documented