in Basics.pod, rewrote half of the 'Low Level Type System' section; also updated TODO_DRAFT