renamed "heavy" to "uniform", based on discussion with Nick Smallbone
renamed "heavy" to "uniform", based on discussion with Nick Smallbone

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle