What are computation and congruence rules?

A computation rule directly reduces the current term.

A congruence rule delegate evaluation to another rule.