Warning/error for constant forward rules

[JLimperg]

Forward rules with no premises (or, more precisely, no slots) are supported, but are rarely useful and more likely to be tagged by mistake, so we should warn. Destruct rules with no slots should be an error.