Transseries: Ratios, Grids, and Witnesses

More remarks and questions on transseries. In particular we deal with the system of ratio sets and grids used in the grid-based formulation of transseries. This involves a "witness" concept that keeps track of the ratios required for each computation. There are, at this stage, questions and missing proofs in the development.