tentative new typing for listing
Improved and simplified typing of S3 objects and generic functions