Updated tests.
Added test.
Added 'dump-types' command-line option.