OCaml extension allowing variable initialization within a pattern-matching.