destruct: Move to typed patterns generation (WIP)
destruct: Move to typed patterns generation (WIP)

Required to destruct subpatterns.

dra27/merlin,ocaml/merlin,the-lambda-church/merlin,the-lambda-church/merlin,haselwarter/merlin,rgrinberg/merlin,haselwarter/merlin,neojski/merlin,fxfactorial/merlin,rgrinberg/merlin,dra27/merlin,chambart/merlin,the-lambda-church/merlin,rgrinberg/merlin,ocaml/merlin,neojski/merlin,chriskonstad/merlin,fxfactorial/merlin,dra27/merlin,neojski/merlin,rgrinberg/merlin,chambart/merlin,fxfactorial/merlin,neojski/merlin,fxfactorial/merlin,ocaml/merlin,dra27/merlin,chriskonstad/merlin,chambart/merlin,chambart/merlin,haselwarter/merlin,haselwarter/merlin,ocaml/merlin