Refactor: AtomN -> RelationN

(RelationNs may be removed if we decide to use only unary relations)