Reject Override declarations with incompatible inherited signatures

An Override declaration can be accepted even when its parameter types do not match an inherited method. The analyser and compiler currently allow declarations with the same name and argument count but incompatible signatures. These declarations should produce a clear error, while valid overrides and distinct overloads continue to work.