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...