A tiny but expressive programming language