fix ticket #654: fix function argument evaluation order when some are simple and some are constructed

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