Rename teorija_tipov.v to tipi.v