Fix the ! operator for traces, and add N: to the trace factiliy