Что понимается под понятием прозрачных типов в программировании?