Implementation of low-level type dumping