SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators