checkpoint: added type hierarchy support; updated sum to support heterogeneous list
8 files changed