Creates a new Struct with functor as functor and a given amount of anonymous Variables, namely arity. Instances of Struct are always created of the most adequate sub-type of Struct.
a new instance of Struct
is arity is a negative Int