This is not good enough.

The problem is that some types will be concrete (CONSTANTARRAYS), but others are not.  How can I match non concrete types at this point?