walidacja typow