+ has_call_operator type tester
+ signature_of type factory