finished defining HI_*, and commenting on structure equivalence to cycle modules