Add support for circular references between types and modules

[Samuel-Tyler]

Currently types are either small buffer optimised or static. To enable circular references dynamic containers must be introduced. Selection between static and dynamic containers should be a template parameter of types such as Sequence Of.

Forward declares of each type will be required.