Updated Shift dependencies to point to Lean