doc: further reading

[bennn]

Add a section / page to the docs with links to other Turnstile resources:

• summer schools
• lecture notes?
• blog posts? at least: https://lambdaland.org/posts/2023-08-14_types_with_macros/
• papers (with artifact, slides, video link, etc.)