Is Either lacking eliminators in Pie?

Question

Either only has the ind-Either eliminator, which may not compute types. While for example Nat has, in addition to ind-Nat, the additional eliminato