Switches how modify works.
Canonicalize returns a size_t.
Change splice interface to not take a vector.
Make DELETE_AT have variadic type signature.
Adds arity tests and fixes some failing tests.
Adds array tests with variables.
Adds tests with bad type signatures.
Adds docs for at ops.