Some linalg
Changes in SetTools package
Test rules for all theorems
Test rules for all theorems