Show full type of invalid partial type signatures
Better pretty-printing of the extra-constraint wildcard
No partial type signatures in class definitions