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

@bsoetaer