lazya paper, does not build, missing files and packages
edited for soundness
Merge branch 'master' of https://github.com/dtolpin/lazya