strong record types in heaps