Fix mutations in methods using #send
Fix mutations in Axiom::Function::Predicate
Fix mutations in Axiom::Function::Proposition
Upgrade abstract_type gem dependency

* Fix code that fails due to changed in abstract_type
* Fix mutations in functions
* Rename Proposition.new to Proposition.coerce
Fix mutations in Relation::Keys
Refactor Relation::Keys.coerce
Change flay threshold