SQL schema

Tables as bullets, columns per table as sub-bullets: 

• expressions
• unique numeric ID
• Latex
• inference rules
• unique string name
• text expansion in Latex
• number of input arguments
• number of output arguments

For each "name of derivation",

• edge list
• source temp index
• destination temp index
• expression identifiers
• unique numeric ID
• temp index
• inference rule identifiers
• unique string name
• temp index
• feeds
• temp index
• Latex