Allow [c]tprod to be nothing.
Simplify constructor.
Import Base.conj.
Add example to README.