Add prototype for invariant language.

[kct949]

We ended up doing most of the development in pt/code-generation-using-templates