So, I have a project going on to make a list of every possible relationships between types, but I have no SJ input so far. Please, contribute --> The Ultimate List of Type Relations