Updates to bit-precise-types rationale

Have attempted to expose more of our rationale and use-case analysis.
Have also turned some prose into a more structured explanation using
bullet-points.