Partial Type patch

Given an underbar in a partial type signature (in a Haskell-prime proposed extension), make the compiler emit a patch to the source filling in the signature.