Incremental progress `and` merges environments
Scrap de Bruijn code
Bookmark with brokenness
Bookmark with broken code
Small language for building constraints