colored redexes, command interpolation