This concept check enforces a Group structure on a variable type, in which we require the existence of basic algebraic operations.