"...the argument from absence of transitional types boils down to the striking fact that such types are always lacking unless they have been found."