static <A> L<ITheoryOn<A>> theoryPlusInverse(ITheoryOn<A> t) {
  if (t cast InverseTheory)
    ret ll(t, t.t);
  else
    ret ll(t, new InverseTheory(t));
}