@pure function attribute

[michelf (Michel Fortin)]

My earlier exploration of this topic: Exploratory proposals: Pure & Concurrent