Callable
Inner NatJ type, don’t use this directly.
Annotate annotations that used for marking callable arguments or return value representing a callable value.