Split the user-facing rule model from the intermediate representation used for the chase implementation (and possibly from an intermediate representation used for parsing and type inference). Sets the basis for #86, which in turn enables #220 without sacrificing parsing faithfulness.
Split the user-facing rule model from the intermediate representation used for the chase implementation (and possibly from an intermediate representation used for parsing and type inference). Sets the basis for #86, which in turn enables #220 without sacrificing parsing faithfulness.