footer tweak, simply typed lambda calculus finished, system F started