Make a `BinderAndDecls` data type, at first just a wrapper around `Binder`.

[dougalm]

Next we'll actually make decls part of it. But that will involve substantive changes. This first step just makes the type distinct from Binder so we can make all the administrative changes while still passing tests.