subst var expr (App func arg) = App (subst var expr func) (subst var expr arg)
subst var expr (App func arg) = App (subst var expr func) (subst var expr arg)
subst var expr (App func arg) = App (subst var expr func) (subst var expr arg)