plumbs prettyprinting of `def foo(x_ : Bar) = ???` (pending a thorough fix)