Get rid of "if" in examples.

This in preperation for making Expr call elims from Environment.