Added RESOLUTION.md page
Minor fixes to RESOLUTION.md
Add CORE_FORMAT.md
Fix up examples in CORE_FORMAT.md
Add EXTENSIBILITY.md
Wrote PROVABILITY.md
Minor fixes to PROVABILITY.md