A collection of data structures which are used in vole
Communicate with GAP, both to recieve original problem and ask mathematical questions during search