Better naming
Added perm_eq_nilF lemma
Hyperstandard Yamanouchi word
Proof: RS (to_word t) = t
Standard tableaux
Standard version of RS map