Top level type for all missing ones, and adding some todo/notes for known borked bits
Got rid of disk i/o primitives, still got the apply io primitive to deal with