Generic decoding of dependent types; add support for large file sizes.