Added LG logic and Proof Structure constructor