Clean up letbinding infrastructure

Merged Michael Sammler requested to merge time/less-unfold into master

Merge request reports