Replacement executes the target first to specialize

The ReplacementBlockNode executes RHS and the target and
then executes ReplacementNode, which can specialize on
target value. In the default case ReplacementNode creates
nodes that handle replacement in the same way as before:
SpecialReplacementNode and GenericReplacementNode.