coherence tests for specifications added. missing reserved values added to specs and enums.