fixed import of Semantics.POL.Valuation.
fixed exports.