Documentation: in progress
notes about correctness of folding
code cleanup + `mkId()` => `genId()`
refactoring: unified creation of start frame