Purely functional language based on curried S-expression