И добавить алгебру типов для данной предметной области:

тип "Сила" = тип "Масса" * тип "Ускорение"

тогда

var F : Sila;
M: Massa;
a: Uskorenie;

begin
M:=2; a:=3;
F := M*a;
end.

будет работать. По правилам Ньютона

Ну и само собой,
тип "Ускорение" = тип "Длина" / тип "Время"_квадрат