remove lambda-calculus tests from simple tests