Changed from type families to functional dependencies. As I am more confident with them.
Implement basic root system based on concrete coroot vectors.
Fixed maps and created basic vector based rootsystem and weyl groups.
Create root system from a semisimple group