- Made separate file for vector and matrix conversions to and from lists
- Made simpler vect_eq and matrix_eq
- Because of the previous point, I also simplified matrix_setoids.v
- Made separate file for various matrix operations ("matrix_operations.v"), to be filled later
- Some other minor things, probably