Fleshed out Scaladoc, primarily of Uniformity, Normalization, and NormalizingEquality.