Contains type checking logic.
See specification for what is currently implemented.
The synthesis folder contains logic for Ezno's parser. See oxctypesynthesis for similar code that connects the logic with OXCs AST.
Set EZNO_DEBUG to any value to trace diagnostic information from the crate::utils::notify! macro (In powershell = $Env:EZNO_DEBUG=1)