Exploratory code for dealing with logic systems and syntax for them (e.g. linear logic)