Replaced lambda-calculus with the F programming language