update section about custom types

This introduces the new `type` syntax.

cc @jden @Matt-Esch