Add higher order structural identity relations
Add higher order structural identity relations

RyanCavanaugh/TypeScript,alexeagle/TypeScript,microsoft/TypeScript,alexeagle/TypeScript,basarat/TypeScript,donaldpipowitch/TypeScript,minestarks/TypeScript,Microsoft/TypeScript,weswigham/TypeScript,SaschaNaz/TypeScript,nojvek/TypeScript,kpreisser/TypeScript,Microsoft/TypeScript,basarat/TypeScript,nojvek/TypeScript,kitsonk/TypeScript,weswigham/TypeScript,SaschaNaz/TypeScript,weswigham/TypeScript,minestarks/TypeScript,kpreisser/TypeScript,SaschaNaz/TypeScript,nojvek/TypeScript,kitsonk/TypeScript,SaschaNaz/TypeScript,microsoft/TypeScript,kitsonk/TypeScript,donaldpipowitch/TypeScript,kpreisser/TypeScript,basarat/TypeScript,donaldpipowitch/TypeScript,alexeagle/TypeScript,donaldpipowitch/TypeScript,RyanCavanaugh/TypeScript,nojvek/TypeScript,Microsoft/TypeScript,microsoft/TypeScript,basarat/TypeScript,minestarks/TypeScript,RyanCavanaugh/TypeScript