Added the initial matrix contracts file with a sample pre- and postcondion

@bsoetaer 
Ok, I assumed something of the sort but what matrix instance is each_with_index being called on? From the above code there is no matrix instance mentioned anywhere so there is no matrix instance to call the instance method on and without an instance the above code should generate an error.