Added types to combine subsystems together and make a basic subsystem
Add the ability for a weyl group element to act on a sub system
Add a function to interface with action
Added sub systems for S3E7 and Spin16 in E8
Added import fixed arity
Added e8 sub systems and checked type
Add new tests to runner
Corrected S3 root in S3E7 system
Add cartan alebra to subsystem with default constructed from roots
Remove default as can lose information about cartan algebra if not generated by roots. Also add sub algebras to subsystems
Add sub systems of S3E7 and determine tests
We do not need a initial algbera as we will have at least one sub cartan
Added intersection of cartan algebras
Add cartan subalgerbas easy as all are full rank
Correct cartan arity