Certo che ti viene duplicato il valore....
Nel codice tu gli chiedi: se ($tipo diverso da vuote) scrivi fra le opzioni il valore di $tipo.
e fuori dal php gli dici di scrivere come opzioni tutti e 4 i valori ma uno sicuramente ti verrà duplicato!!! capisci????

con questa riga di codice cosa vorresti fare???

Codice PHP:
echo "<option value='".$tipo."'>".$tipo."</option>"; 
Se mi spieghi questo ti posso dare una mano!! Cioè, perchè gli fai fare quel controllo???