Creates a Fact template: a head with functor and arity anonymous-variable arguments. See Struct.template.
if arity is negative