models, templates, asome documentation for inductive types