DivergingImplicit shouldn't escape the scope of implicit search.
Rewrote one method in normalizeFirstParent to be tailrec.
wip
Now for real