Title: Typing from Rough Drafts