description: Added '@cil_function_pointer_type' and related relations ('cil_function_pointer_return_type',
'cil_function_pointer_calling_conventions'). Introduced 'cil_type_annotation' and '@cil_has_type_annotation'
to store by-reference type annotation. Added '@cil_parameterizable' to represent methods and type parameters.
compatibility: backwards
