Big rewrite
Work on inverse schensted
Problem with empty word
Bijection w -> Tab, Yam
Work on Bijection Tab, Yam -> w (2 more lemmas TODO)
Work on Bijection Tab, Yam -> w / rewrote is_part def
Work on Bijection Tab, Yam -> w (1 more lemmas TODO)