Tighten typing in MD.  Mostly only pretends to work but well enough to put in.
Type tightening for SHA.
Add some workarounds for broken binary inverse in parakudo/32bit