Как добиться строгой типизации, продемонстрированной Бьярном Страуструпом во время его последнего выступления?

Во время Бьярна Страуструпа последний разговор он говорит о строгой типизации.

В частности, пользовательский тип данных milliseconds используется вместо int,

Как это достигается?

Кроме того, будет ли это означать, что такие типы данных будут иметь явные / неявные преобразования? Например из meters в millimetres? Как этого достичь?

Извиняюсь, если это кажется тривиальным — я новичок в C ++, но считаю эту функцию очень полезной