a toy expression language for a small vm