Added Rel.v and added refl step, along with an example of it working.