Simplify A inference rules; deprecate UNIT
Add RAND to editor navigation