Lambda Calculus as Alligators