Explicitly tell RPython about type