fixed partial evaluation to work until a fixpoint is reached; added a hook for modInt