Consider getting rid of evaluated

Many users, including the authors of this package forget to write H_tilde.evaluated[...]. Should we simplify the code by getting rid of .evaluated?