Fix weakening for ImpTA.. it is only possible for dynamically annotated types
Back to residual again