Defining Contracts

Rycol: Contracts were non baked for seplus plus 20, and we took em out. A lot of people dislike the attribute based syntax that the original cpusu 20 proposal vews. We're kind of driven towards the satax for abbreviated lambdos the berry revsen proposed a while ago,. And so we actually need not to design just for c plus plus. We need to design something that c is going to want to use in roughly the same fashion as well if we can.