freeVarsAlt: Alt binders may include existentials
Update SYB submodule