Moved pinfo back into the where block
WIP on def arg sub in typeclass methods.

Will be indefinitely reverted due to apparent problems with implicits in
class methods in general.
Revert typeclass changes.

.. assuming git bothers to work properly.
A go at passing constructor name info to elabCons