Skir is a declarative language for defining data types, constants, and APIs that generates...