Added a primitive composition for Id types which reduces with refl on…#71

IanOrton wants to merge 2 commits intomortberg:mastermortberg/cubicaltt:masterfrom

IanOrton:idCompIanOrton/cubicaltt:idCompCopy head branch name to clipboard