Step Functions Lambda Calculus