Derive Macro Invariant

#[derive(Invariant)]