Document all the types in Disassemble.hs better.