Wrap erased fixpoint bodies in lambda#15

flupe merged 2 commits intoagda:masteragda/agda2lambox:masterfrom

4ever2:box-fixpoint4ever2/agda2lambox:box-fixpointCopy head branch name to clipboard