Inconsistent syntax for binders

[wilbowma]

The syntax for some binders warp the binding in parens (e.g. lambda), while others do not (fix, Pi). Sometimes, one looks better, while at other times, the other does. Need some consistent configurable mechanism.