Можете объяснить, что такое ограничения типов в программировании?