Implement unary negation for SU_vectors and proxies.
Optimize conversion of proxies into vectors slightly more.