Add a desugar step for implicit Prelude. #224

todo: tests