prelude: Support for simple precedence constraints.