Better Scala do-notation using paradise's untyped macros