adding the texbook playing strategy
adding in-file repository
renaming some things
minor renaming and comments