Compile some higher-order rules