Text this: Ordered Models of the Lambda Calculus