+reverse to typelist.h