Type structure finalized