Creates a novel Struct which is a copy of the current one, expect that is has a different functor.
Return
a new Struct, whose functor is functor, and whose arity and arguments list are equal to the current one
is a String representing the new functor