Finishing a draft of types