Michael Schimmel
e3bfc01027
The purity of a lambda definition should always be `Pure`. The purity of the lambda's body is only relevant when the lambda is called. This change ensures that defining a lambda does not incorrectly mark the parent scope as impure.