Convert WeylGroup to dependencies.
Added test for multiplication of SpinWeylElements