Proof search for type inference in Hangman