Added FD.inf and FD.sup to finite domain module (FD.oz)