My question therefore is: Does anyone have suggestions/pointers

on how to approach automatic dimensional analysis via the OCaml type

system?