Каким образом реализуются и работают обобщенные типы в языке программирования на уровне системных механизмов?