[Enhancement] Compile-time checks for the signature of special function

[HenryAWE]

For example, the library can make sure the signature of template callback satisfies bool (asITypeInfo*, bool&), preventing potential crash at runtime.