Naming cleanup. Def -> Stage. Reduction -> Update.