Playground for my PLT thoughts and toy implementations