Re: Heterogen lists

[trtt]

You gave the HgCells in HgPacks a fix data type - because of this, it's not 
heterogeneous anymore. You shouldn't remove the concept because it should be a 
constraint on the types at the procedures.