Mirror main's HTML, define, let, letrec, lambda modification