* src/HECS/Internal.hs: Documented