make function imports explicit in Probmodel.hs