The way Pin is defined in the standard library is too informal for the mental model. Taking the examples of the standard library and explaining them with the mental model would be helpful. Could also take the LinkedPairs example of one of the RFMIG (25.3.2024).