1. A method, including: compiling declarative source code that includes contents of a constraint-based execution model into a post-processed definition of the declarative source code that includes a compiled transformation of the declarative source code in which a declarative format of the constraint-based execution model is preserved, wherein values in the constraint-based execution model are conformable to a plurality of types, and wherein a particular value within the constraint-based execution model is conformable with all types in which the particular value does not violate a constraint codified in a type declaration; and packaging the post-processed definition of the declarative source code as an image file, wherein the image file preserves the declarative format of the constraint-based execution model stored in an extensible storage abstraction, and wherein the image file includes at least one artifact of the compiled transformation stored in the extensible storage abstraction and metadata describing attributes of contents stored in the extensible storage abstraction, the extensible storage abstraction including a plurality of tables having a plurality of entries representing the post-processed definition.