some additional documentation for "dictTypeExpr" in "ClassEnv" (related to unexpanded/expanded type sigs)