Jextract generates Java type annotations for typedefs.

Generated functions have to use the canonical/underlying type, but the annotations could be applied to these types to propagate the names of the types that are used in the function declaration in the native header.