use Compiler::Type in the compiler IR