S40.1: a reformatted sequent calculus compiler

[dr.mt...@gmail.com]

I was looking at the chapter on compiling sequent calculus in TBoS and decided it could be rewritten to follow a paper I'm writing.  The technology is good, its just that the explanation is difficult.  This happens when you are explaining something you have just conceived - as it was back in 2020.    The new explanation is much clearer and as a bonus, it will cut about 50 loc off the kernel.  

Wrt to speed the compiler will be much the same.  It will be a little faster but in human terms not detectably so.   We are near the end of optimisation, but 40.1 should take us all the way there.

M.