RF: adding discretization information for DiffeomorphicMap and renaming discretization information for domain and codomain. Now it is much simpler to handle default input/output discretization of the map, and the naming is much more clear.