This simplifies the typechecker a bit (no more ty_param_substs_opt_and_ty) and is needed for another experiment I'm playing with. I hope it also makes compilation faster (the bots will tell).
I.e. a set of curly braces, not everything that creates a block context in the trans pass. Issue #1694
Closes #1304