Fix unmatching braces in pretty printed types

The left brace of an implicit argument was a parenthesis:

```
Idris> :doc range
Prelude.Vect.range : (n : Prelude.Nat.Nat} -> Prelude.Vect.Vect n (Prelude.Fin.Fin n)
```