Relex2Logic additions

These commits including r2l scheme file with the helper functions that act on the RelEx scheme outputs, as well as Atom additions necessary for the rules.