Improved the pull-up of interface implementations. See tests 40b and 40c. Pull-up without generification (40c) is ok. Pull-up with generification (40b) does not work yet.