From: Luke Lau <luke_lau@icloud.com>
Date: Wed, 17 Jul 2019 20:53:26 +0000 (+0100)
Subject: Add consolidation, tie up with typechecker
X-Git-Url: https://git.lukelau.me/?a=commitdiff_plain;h=ba17902b367783f058108f2eb9dff163d34b735f;hp=ba17902b367783f058108f2eb9dff163d34b735f;p=scheme.git

Add consolidation, tie up with typechecker

Also normalize program before typechecking
---