a toy programming language