check notes
circ_buf: updates
type_info: reorg