DiracMatrix now yields an error for ill-defined action on a state (i.e. a state that's not in the right basis)