Task 109 (#171)

* Left shift theory

* Algorithm

* Next try

* Further

* Progress on 0 and 1 cases

* Finish zero case

* Finish one case

* Sketch of main theorem

* Different try

* Case for ge 2

* Finished

* simp -> simp only

* Update to stable release

* Suggestions from review

Author: jt0202