Normal icons in .tar.gz
Type annotation in wildcard and class reference types; more tests