created two more packages: interactive and tools. Interactive is for the interface and tools for each command line tool built for the project
o Added the Context construct, parallel to that of machine. It creates a theory
o added theorems to a theory and the relevant proof obligations