compiling, but still neither stable nor safe
cleaning the code, moved the compile time integers to sgCard
relaxed the type constraints for polymorphic matrix operations
first try to implement fixing one dimension in a Tensor (compiling)
fixed a few little things
some instances for testing tensors with tuples.
few little changes
change the order of some type class parameters.
added an uml diagram to visualize the type class hierarchy