It should be statically typechecked of course, but especially in the quantum physics code we couldn't encode all the invariants correctly and runtime exceptions

It should be statically typechecked of course, but especially in the quantum physics code we couldn't encode all the invariants correctly and runtime exceptions can still occur in rare occasions. A fix has been proposed and will hopefully be merged in time for the next universe release window.