[scalac-plugin] Recursive support `~(A(...), ~(B(...), (x, y)))`. Add specifications for pattern matching in `val` statement. Update documentation.