Partial modification of DIP23 to allow module level property

[Robert]

On Sat, 2013-02-09 at 04:12 -0800, Jonathan M Davis wrote:
> It fails miserably when the element type of a range is callable.
> That's the 
> main reason that @property was introduced in the first place.
It does not, you would have to do:
front()();

Always! front is guaranteed to be a function, (I tried to explain why in
the DIP), so this is consistent behaviour, meaning it will work with
templates.