there's also an interpreter for RASP as described in the paper :) https://github.com/tech-srl/RASP

And Sasha's blog (your link) has a nice walkthrough of long addition with RASP!