Formula equality reflects the active spec
Pass the requested spec into the formula instance
Decouple spec selection from ARGV
Remove ARGV.filter_for_dependencies