A Free Construction of Dynamic Terms