Change Bindable/BindableM a bit.

There is now a letExp and a letExpNames, where the former requires a
complete pattern (although it may change it a bit), and letExpNames
only requires names for the value parts.