doc: explain the two-adress scheme

compared to a stack-based VM with no args, and a typcial three-address register
machine with possible SSA transformation for a static optimizable compiler