Support for user defined types

It would be nice to add some support for stronger typing of objects. Ideally this would manifest as runtime validation of visible fields after objects are fully reified. You could probably get pretty far implementing this functionality in a library with assert. Another alternative is to write a library that does [JSON Schema](https://json-schema.org/) validation, but the definition language is rather verbose.