removed unnecessary step
using a proof method that's easier to explain
documented lemma Range_except_irrelevant
simplified definition of equilibrium_weakly_dominant_strategy
more documentation in wd_outcome proof