RIF Core Dialect