- use CopyB proj
 - do NOT remove memory edges of Div/Mod/DivMod nodes that are proved
   not to trow an exception (but only by a Confirm), so the memory
   edge is still a dependency
 - add templates for Psi nodes

[r7511]