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