Improved the TUTORIAL's rules defining ge_ty in chapter 5.