Work on SLIF semantics docs