Idea: function contracts + CTFE

[Sean Kelly]

== Quote from dennis luehring (dl.soluz at gmx.net)'s article
> and don't want to change assert - maybe another(ouch!) keyword	for
> example "predication"
> so i and jarett can use predication (or predicate?) as a
> replacement for assert in in/out contracts and the other positions im
> currrently using assert

hehe, I use "predicate" in C/C++ for assertion checks that I don't
want compiled out in release builds :-)  Handy for verifying the
return value of functions with side-effects.


Sean