updated defs to have perms, main doc has a new operator, modules got changed a bit, square matrices were improved, and vector spaces elaborated on