> 1. Names are more important than types

I can't really agree with this at all. With type aliasing the new typename can render the variable name pretty much redundant.