Change msubst to Joey's msubst_norho, which is a better definition. Also forward tactic is updated. Progs fold is good as it was.