add hypothetical sv.addi page explaining why DWIs must not be different