Improved tactics for solving goals with type class obligations. Type classes tentatively work!