Implement Relation#one with future axiom semantics

Closes #61