Split DenseMapInfo into a separate header file, so that it can be