SI-6493 deepBound is not necessary

it was likely introduced to fix some issues lazy vals have with existentials,
but it's not the right way to do this

I'm investigating a proper fix..

The advantage of eliminating the deepBound TypeMap is avoiding cloned
refinements and thus the substitutions in existentialTransform actually make sense
WIP trying to diagnose lazy val type errors