matrix interpretations

allow various shapes, and implement E/P exactly as in the original Hofbauer/Waldmann paper (ceta requires special last row of matrices, multum does not obey this: there can be arrows going from the final state to some non-final state)