Welcome to Smogon! Take a moment to read the Introduction to Smogon for a run-down on everything Smogon, and make sure you take some time to read the global rules.
I actually quite like the #3
Just giving the error msg if both the Pokemon don't share a type
And displaying the #2 msg if and only if both or more Pokemon actually share a type.
As the title suggests, adding a stab category in /movesearch command when looking for a particular Pokemon would be very helpful. Furthermore if the stab category could only include damaging move, it'll be cherry on the top.