Fix syntax for SemiRegular requirement in definition of Shape concept from working example.