A good explanation of how RPython works and really useful pointers on errors messages and type checking is available here:

http://kirbyfan64.github.io/posts/the-magic-of-rpython.html