towards fixing Loc related type errors
make model.ml compile again