Refactored microscheme stub code to read the program, desugar and a-normalize.