Core types & the wire protocol