Fleshed out duplicate for Z3, in the process figuring out a schema for how to make arbitary-dimensional duplicate methods. It all makes sense now!