Simple functional language implementation.