rationality Type-level rational encoding See https://medium.com/swlh/rationality-in-a-natural-world-arithmetic-at-the-type-level-3c60de0d42f0