A very minimal functional language