Aligning index signature type inference with assignability rules.

Type inference now supports inferring from string index signatures to numeric index signatures.
Fixes #167.