Here is another improvement compared to v2. This time there are two patches: the first adds support for &syntax in (guix ui), and will print something like in form: where "in form" is in green. The second patch is very similar to v2, but will now also raise a &syntax condition, so it can be pretty-printed. The previous issue where I printed # is fixed, I simply forgot a syntax->datum. WDYT?