* src/HECS.hs: