Extending the type system

To extend the type system, you need to add

• a specialized null0 class.
• a specialized as() function.

And the other render functions should work.