A collection of toy languages for experimenting with concepts in programming languages