Move current Semantics docs to NAIF/
Start new docs for SLIF