If anyone is interested, I created an intertype relations calculator that produces the intertype relationship between two types as well as factoring in their subtypes. It also provides a rough analysis of how functions are positively or negatively affected in the relationship and to what degree. The relations calculator is here. Comments and criticism welcome.