Fix bounds propagation

When instantiating with a wildcard argument, take formal parameter
bounds into account. Review by @adriaanm @DarkDimius