- reimplemented DumpTypes so that it really dumps the types content - now printing type information in 'info sym'