Lambda Calculus in F#