Type-level natural numbers for Typescript.
Typesafe declarative argument parser using pattern matching.