Introduce NormalRule and AtomData.
Completion by clauses (to be replaced by crules).