SH now private-typed.  Added new constructors and updated all relevant
provers.