Loops now have while, rvalue propagation made clear and efficient
return added (not tested yet)