Reorg semantics doc to p. 3
Reorg semantics doc to p. 5
Reorg semantics doc to p. 8
Fix bad doc link