Remove dead code.
Fix printing of types.