Design is described in #1284. Added a trivial test of universal rules Signed-off-by: Yuxuan Shui <yshuiv7@gmail.com>