Playground for experimenting with spore syntax (without the actual static type-checking)