Added data types and functions for LG logic, proof structures and (proof net) links