String/IO

Fix printf
Implement String.format in the same way as printf
Dumping types to specific output stream
Some consistency changes