A Type Written Story (TypeDog)