Renamed evaluation method
Evaluation fix
Moved reals package. Introduced infinitesimal trait.