Usage examples of optype, which are type-checked by pyright (strict mode). These examples also function as integration tests.