Update syntax.rst
Update syntax.rst
Update syntax.rst
Update syntax.rst
Update syntax.rst
Update syntax.rst
Update syntax.rst
Update syntax.rst
Update syntax.rst
Update syntax.rst
Update typeclasses.rst
Update typeclasses.rst
Fix #388
Fix #390. Disallow unification of unknowns during type class instance resolution.