13. The computer program product of claim 12 , wherein the declarative type is interpretable in one or more different ways using different mapping schemas.
12. The computer program product of claim 11 , wherein the schema for mapping from a declarative type to a dynamic type is swappable.