This would allow optimization of e.g. `(subvec(vec a)b c)`, removing `vec` if it is already a vector. Same with `conj` and probably others.