* Hoist and distribute type parameter constraints over type parameters when comparing against union targets when fetching union constraints * Fix PR nits