The eval is working...
But we have to keep an eye in nested ifte and whiles, i've done the
basic algorithm, but now we need to move on to the next part