Statični sistem tipovanja