SI-6629 Can not reify existential type alias when underlying is higher
kinded type

Added new type of attachment for keeping type of AppliedTypeTree