complete a type