Update manual.

Update docs
Fix split_top_level.
Fix F=constant.
Remove handlers for smodel being "".