A functional language based on SKI combinators