Improve the accuracy of the evaluation loop

[jrmuizel]

https://library.wolfram.com/infocenter/Conferences/4683/Internals.ps?file_id=4190 gives details on Mathematica's evaluation loop. Woxi could use improvements around its semantics here.

[ad-si]

PDF version: Internals.pdf