Text this: On Constructor Rewrite Systems and the Lambda Calculus