Distinguish between opaque and transparent type aliases in the runtime