Replacing some files with latest versions and rebuilding the pvs bin folder, to avoid typecheck problems
updating theory files to pvs 6
instantiated intermediate CK theory
working on changes to the CK intermediate theory, using a combination of theory parameters and theory interpretation
modifying intermediate CK theory
including context