checkpoint - need to rethink writing of type names for blocks