* Read/store ILCustomAttrs, ILSecurityDecls, ILTypeDef sensibly (#4597)

* hide representation of ILPreTypeDef

* fix build

* remove unnecessary use of lists with repeated tail-appends

* add comment

* fix test