+ is_matcher assertion in arg_of type factory