Add splicing forms to match, and the glaring omission of match-letrec-values

This is in response to the not-a-bug all/14701.