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