bug fix in red_exprD.
Merge branch 'extendable' of github.com:gmalecha/mirror-core into extendable

Conflicts:
	src/Ext/ExprTactics.v