Add support for Type-level annotations