In algebraic-subtyping.txt, add an attempt to formalize the type system with a sequent calculus presentation.
In algebraic-subtyping.txt, add an attempt to formalize the type system with a sequent calculus presentation.

rocketnia/era,rocketnia/era,rocketnia/era