Finished type representation (reuse of already created
TypeSpecifications required)