document the examples of the website.

[imaginator]

is there an effort to compile all these contract examples with descriptions on the lang site? think would be super useful

https://github.com/BlockstreamResearch/SimplicityHL/tree/master/examples