Fix specs by clearing the inference cache between examples
Add Axiom::Types::Collection.infer
Add Axiom::Types::Array.infer
Add Axiom::Types::Set.infer
Update flay threshold