Updated type_constructor docs