Compile some higher-orer rules