Goal types aren't correctly quantified (or if they are it isn't displayed)

[imeckler]

Consider

shift :: Num a => [a] -> [a]
shift = map _

The goal type is displayed as a -> a when it is really Num a => a -> a. This makes, e.g., MoteRefine (+ 1) not work.