Don't re-narrow if the user provided a type param

[mrufsvold]

I think right now, if you notate an argument with ::Iterable{Int}, the Int isn't binding because the dispatch testing always calls narrow. I think I need to have it call narrow and then test if all the type params are subtypes of the original type params