Change definition of Shape concept in working example to require semi-regularity (to allow using Shape with value semantics).