Don't require OverloadedRecordFields for constraint solving

This is more consistent with other extensions, and makes tcFldInsts simpler.
Fix warning from typechecking r { f :: t } sugar