evaluate valuations coefficient-wise on cf objects
valuate all parts of a cf expansion
reduction mod p for cf objects
define a continued fraction map which just remove the leading term