First step of UnzipArrays refactor: doBinds monadic.  Plus add maybeLetE