improved section about Abstract Type Members a bit