On isomorphism types of groups and other algebraic systems