Always generalize implicits before running regular generalization
Generalize implicits when we leave an implicit function declaration
Merge pull request #21 from lpw25/always-generalize

Always generalize implicits before generalization