A dumping ground for halfbaked ideas, some of which will hopefully be worked on soon (based on https://github.com/Daniel-Mietchen/ideas)