source tetra: add explicit letrec form