Invocation: fix for #997: don't look at Callable type params past the first for type param constraints
Tests for #997: type param constraints and Callable