Creates a novel Struct which is a copy of the current one, except that its args are replaced by args.
a new Struct, whose functor equals the current one, and whose arguments are args