Inheritance and tests for it. Done by desugaring into foreign rule invocation.