Resolve class instances under let bindings

This only really matters when there is a default Num instance to be
resolved - in other cases it'll be dealt with by the resolution under
the PApp elaboration.

Fixes #1388