Sequent Calculus LJ

Hi Bruno,

These are my commits for the sequent calculus LJ. Let me know if it is according to what you expected or if I should add/remove information.

Thanks for the initiative! I am curious about the final result :)

Best,
Giselle