Update Relation::Variable to be thread-safe
Merge branch 'master' into axiom-types-refactor

Conflicts:
	config/flay.yml