Is `TypeAliasInfo` a two-list of syntax and args?