New Chapter for CGP Patterns: Associated Types

[soareschen]

A new chapter for CGP Patterns has been released! https://patterns.contextgeneric.dev/associated-types.html

With the introduction of associated types, we can now walk through more practical examples of using CGP to validate authentication tokens using abstract time and auth token types. We still need to finish the next chapter on error handling, before we can present a full practical use case of using CGP for real world applications. But hopefully this new chapter can give readers a better glimpse of how CGP can be useful for real world applications.