initial commit of symt rename. fully supports symbol table translation and strips plan formulation.