Identify other cases where we could support bindings

[countvajhula]

E.g. selective binding (as _ v _), packing values (as u v . ws), and binding exceptions in try (#29 ). Also review the interaction of bindings with clos.