FIOC to new levels

Static FIOC with contracts, running on Mono/CLR.
As soon as scipy is finished, I don't want Python anymore. <3

http://cobra-language.com/

>>1

contracts are nice to see. I'd rather not have a testing function written with the declaration, but that's cool too if the compiler can take advantage of the association.