Add function for deterministic calculation of ids

Also introduces an "eval-support" set, for things that need to run
derivations at evaluation time.