This MR is start point of resolving #18758.
I removed NoGhcTc type family usage from HsAppType constructor, introduced functions dsHsType and unTcHsType.
Basically, reimplementation of !5315 on top of recent master and without trying to handle all NoGhcTc at one time.