ty: simplify nested types before trying to simplify ourselves.
ty: simplify nested types before trying to simplify ourselves.

I don't think this changes behavior right now but it is conceptually the
right thing to do.

eqrion/cbindgen,eqrion/cbindgen,eqrion/cbindgen