Substitution combinator should return.

Added a return statement for the S combinator.