include("types/__init__.jl")
include("printing/__init__.jl")
include("corpus/__init__.jl")
include("utils/__init__.jl")

P = symbol("P", Statements)
Q = symbol("Q", Statements)
R = symbol("R", Statements)

x = symbol("x", Statements)
A = symbol("A", Sets)
B = symbol("B", Sets)
C = symbol("C", Sets)
