At the time structures such as Lie algebras and hyperbolic quaternions drew attention to the need to expand algebraic structures beyond the associatively multiplicative class. Reviewer Alexander Macfarlane believed that the main idea of the work is a comparative study of what?