WIP - Add variable relations

This branch will change materialized relations to be mutable

* [ ] Add `Axiom::Relation::Variable` proxy
* [ ] Ready for review