Cleanup of docs, and catching exceptions in OnHalt interpreter