Added ToString() implementation to Substitution.

Next tackling the missing instantiation of polytypes
in the type checking code.