A document position represented as a 0-based character offset.
This inline value class provides compile-time type safety for document positions with zero runtime overhead. Use DocPos instead of raw Int to distinguish document positions from other integer values like line numbers, counts, or indices.