Added contextual signature instantiation during type inference.

Fixes #88.