[Eva] Removes the [Transfer] functor from abstract domains.

For abstract domains, the valuation is now a record of three functions:
[find], [fold] and [find_loc].

Adds a function in the evaluation engine to convert Valuation maps into
these records.