Tidy Evaluation and Formulae