Added contextual signature instantiation during type inference.

Fixes #88.
You should probably use this in all the places where we do something for each parameter (as I recall, there are a lot)