Add Type Information for Stratification as Property

[liunelson]

Simplest implementation of "typing" (in the context of model stratification): just a new property called "typing"