Использовать var или объявлять тип явно?
Без разницы. 
Локальная переменная с неявным типом имеет строгую типизацию, как если бы тип был задан явно, только тип определяет компилятор. 
https://msdn.microsoft.com/uk-ua/library/bb383973.aspx
На мой взгляд там, где тип известен  - все-таки явное указание типа будет лучше. 
Мой взгляд собственно вырос из эксплуатации как жестко типизированных языков так и совсем нетипизированных, где можно было написать где-нибудь в редкой ветке 
x="qqq"
а потом где-то забабахать цикл
for(x=0, x=x+1, x<10)
и в итоге в рантайме словить редкую ошибку -)