stub of a port of modelset.ml

looks like a lot of background theory is missing