An interpreter for a simple functional language