fixes to HGV typing rules
 - more on HGV
 - tweaked abstract