added y-combinator as a sample
renamed "desugar" to "transform", because we will add more general AST transformation passes in this module
added y-combinator as a test