#72 improved type alias checking