CTE IR Compile-time evaluation IR
This IR is designed to support compile-time evaluation. All the types are values.