Mostly documentation changes.
A small change to cost-partition to combinator out style.
Added a bunch on new timing code.