apply-equation should check functionality of terms in substitution

[Jan Tusil]

Apply-equation needs to check that the substitution generated by heat assigns to element variables only functional patterns. (Currently, apply-equation works only with element variables.)