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

Added new type of attachment for keeping type of AppliedTypeTree