Zaslat SMS: Advances in the Theory of Varieties of Semigroups