Equational Rules and Rule Functions in Syntax