Hi, Here is some (unreviewed) documentation about the new LowLevelType approach: http://codespeak.net/pypy/index.cgi?doc/translation.html#the-rpython-typer Armin