added negation and power for PhysTyped;