Linear maps: dot product, apply compose
Tree option
Working on new reify
LambdaCCC.Standard support