Check a snippet using the Ezno type checker

Migrated from folder: ezno/ezno_checker_example