Purely functional language based on curried S-expression and lazy evaluation