collect supertyp object generaliz element generaliz element classifi illeg argument except generaliz element instanc classifi non nl classifi generaliz element gener 