Correct opening brace in implicits in pprinter

Before:
    Prelude.Basics.id : (a : Type} -> (__pi_arg : a) -> a

After:
    Prelude.Basics.id : {a : Type} -> (__pi_arg : a) -> a

Fixes #1096