Manifold is too restrictive

[pettni]

Some types (e.g. AnyManifold) are difficult/impossible to adapt to the Manifold concept due to these requirements:

• Castable
• Default-constructible

Todo: List where those two requirements are necessary.

Solution: Break up into multiple concepts, where the "base" type does not have those requirements.