overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"

compile with


ghc -O3 --make -with-rtsopts='-K128m' re.hs