- Variables in top-level sentences are now reported as errors.
- Empty "or" literals are now reported as warnings.
- The check that "base", "input", and "init" sentences are constant now works correctly when a "true" or "does" sentence is in the body of a rule implying one of these sentence types.