Clean up types/notations

A bit of conceptual/documentation/"type" signature cleanup before
actually using the arbitrary precision notation for experiments.