User and Lazy callback, back off, purging cuts, enabled zero-half
Merge branch 'user-cuts' of https://github.com/ls-cwi/xheinz into user-cuts
Updated TODO file