tweaking, tests, and desugarings