add one more reference
another exercise on n-types
typo