Added quotients and subobjects. Combined to give a double quotient.
Added instances for E8 weyl group and quotient by Spin16 and sub E7.