Json string interpolation

* Change the MacroCompat Context from blackbox to whitebox, because that's
closer to what 2.10 does.  Also it lets you say things like j"[1,2,3]".length
which is cute.
Fight the typechecker less in Automatic*CodecBuilderImpl