A simple non-strict functional language implementation