Fix the .equals() method of ExitStatus. Currently, it is not symmetrical:
an ExitStatus can be equal to a String, that is not equal to it. This is
fixed by checking type.