Type-level natural numbers for compile-time matrix dimension checking. Use these as generic bounds on Matrix to ensure dimensional correctness at compile time.