fix C name redefinition: names must be uniquified at the module scope, local scope is not enough as it may not have a unique name itself

test that inferring the function pointer type for a C function is enabled in safe type inference mode

fix ticket #644: infer type of C-API optimised methods of builtin types as Python object instead of C function