I must say I like this proposal! Indeed, let* () is unambiguous. Thus I support the proposed changes.