A type model represents types on a smaller scale or through a plan - not an actual implementation or not an in practice type system.
See also WhatsaModel