fix bug in instTSym that prevented instance ... (a -> b)
fix issue#63
Proposed implementation