adapt typeDef test after Type Bound sumplificaitons in c29405dfe1a24419ce4ce10500b5e8d05c581bee