A simple Scheme-like language