Reverted to old definition of insert, but added passthrough instances to ComposeCount/CountCompose to enable correctly counting the dimensionality of Indexed things. Still, it's a little ugly, and added a todo note to decomplect this part of the code later.