higher-order grammar