Ergo is meant to be a strongly typed language, with CTO has a foundation for the type system. The compiler should import CTO files, clauses and functions should have well defined signatures and the compiler should enforce type safety.