Added sync/heap_change_well_typed, ht_cases, fixed T_Plus