rename case to if, which is more accurate
rename poorly-named beta-reduction to subst