pub fn unify_stacks(s1: &StackType, s2: &StackType) -> Result<Subst, String>
Unify two stack types, returning a substitution or an error