Re: Inheritance of purity

[F i L]

What do you think?

Sounds good! Only, like Michel said, please make errors output 
helpful hints as well. I can see why David is concerned.