Update documentation for new pattern features

[yannham]

This is mostly a self remainder to write documentation around the new pattern matching features introduced (constants, wildcards, guards, etc.) before the next release, once the bulk of the implementation is over.