Refined unary complex operations
Refined tests for conjugate and project