Improve diagnostics
Work on SLIF semantics docs: t+