vvalueeraseProgram :: HasUnique name TermUnique=> Program tyname name uni fun ann-> Program name uni fun annPeek#
vvalueeraseTerm :: HasUnique name TermUnique=> Term tyname name uni fun ann-> Term name uni fun annPeek#