Improve support for bin_io (generate Type_class.t)