Create an API for storing and retrieving elements of a Stratego program, that is, strategy definitions, constructor declarations, and overlay declarations. By providing direct access to these elements (via dynamic rules) various operations can be speeded up. The API should support changing the definitions as well. Thus, transformations can be applied to the definitions stored instead of on the top-level source tree. This will probably be sufficient information to implement all transformations in the compiler on a per definition basis.

(I'm not a big fan of the term 'source *model*', but I seem to have been assimilated in using it.)