Various clean-ups and docs

- Updates Scala and sbt versions
- Minor clean-ups in code and doc comments
- Simplifies a generated `CaseDef` tree in `resume`