fixed issue with AddInjections not changing the productions properly; fixed SpecificationCompilerSteps to use AddInjections
added entry point for Module in AddInjections
Merge pull request #791 from andreistefanescu/unified-builtins2

fixed issue with AddInjections not changing the productions properly; fi...
stop using attributes to store term information like location, filename, klabel.
fix bug in Production.equals
remove duplicate production
fix more bugs