Change n to implicit in div2 family
Introduce take-left and take-right to extract a subchain of required length
Remove mutuality between Even and Odd types
Revert back to chains without length parameter
Introduce Generalized Polygons

- Use a separate data type for chains between points
Nothing to say here