ivory-opts: typechecking: make empty proc body a warning for void type.