Added a convenience operator for dimensional inversion

Also added the rule that `d / d = DOne`, hoping that it will help the compiler with some cases in the linear algebra library.