Always display inferred variables using braces

We now always show forall {a}. T for inferred variables, previously this was controlled by -fprint-explicit-foralls.

This implements part 1 of https://github.com/ghc-proposals/ghc-proposals/pull/179.

Part of GHC ticket #16320.