The patch allows constructs like
(let+ (((&values (a b) c) (values (list 1 2) 3)))
(list a b c))
Allow let+ patterns in &value variables
Fixed handling of ignored values (via NILs in expression) in &values
I merged it with a small rewrite. Thanks for the patch! Feel free to request extra features if you need them.