Close approximations also under RAND
Add JOIN, RAND convexity rules to cartographer/infer
Add skrj world to system tests