Now supports operator products and composition with exterior derivative (you can use d(1form) instead of d<1>() * 1form and even compose exterior derivatives with d(d(d(d<0>())))), but my type deduction for the hodge star doesnt quite work.  library now takes forever to build because type deduction is very expensive