```ruby
# encoding: utf-8

require 'devtools/spec_helper'

if ENV['COVERAGE'] == 'true'
  require 'simplecov'
  require 'coveralls'

  SimpleCov.formatter = SimpleCov::Formatter::MultiFormatter[
    SimpleCov::Formatter::HTMLFormatter,
    Coveralls::SimpleCov::Formatter
  ]

  SimpleCov.start do
    command_name     'spec:unit'
    add_filter       'config'
    add_filter       'spec'
    minimum_coverage 100
  end
end

require 'axiom-types'

include Axiom::Types

# require spec support files and shared behavior
Dir[File.expand_path('../{support,shared}/**/*.rb', __FILE__)].each do |file|
  require file
end

RSpec.configure do |config|
  config.expect_with :rspec do |expect_with|
    expect_with.syntax = :expect
  end

  # Record the original Type descendants
  config.before do
    @original_descendants = Axiom::Types::Type.descendants.dup
  end

  # Reset the Type descendants
  config.after do
    Axiom::Types::Type.descendants.replace(@original_descendants)
    Axiom::Types.instance_variable_get(:@inference_cache).clear
  end
end
```

Update specs to require the file without the extension
user
```ruby
# encoding: utf-8

require 'devtools/spec_helper'

if ENV['COVERAGE'] == 'true'
  require 'simplecov'
  require 'coveralls'

  SimpleCov.formatter = SimpleCov::Formatter::MultiFormatter[
    SimpleCov::Formatter::HTMLFormatter,
    Coveralls::SimpleCov::Formatter
  ]

  SimpleCov.start do
    command_name     'spec:unit'
    add_filter       'config'
    add_filter       'spec'
    minimum_coverage 100
  end
end

require 'axiom-types'

include Axiom::Types

# Require spec support files and shared behavior
Dir[File.expand_path('../{support,shared}/**/*.rb', __FILE__)].each do |file|
  require file.chomp('.rb')
end

RSpec.configure do |config|
  config.expect_with :rspec do |expect_with|
    expect_with.syntax = :expect
  end

  # Record the original Type descendants
  config.before do
    @original_descendants = Axiom::Types::Type.descendants.dup
  end

  # Reset the Type descendants
  config.after do
    Axiom::Types::Type.descendants.replace(@original_descendants)
    Axiom::Types.instance_variable_get(:@inference_cache).clear
  end
end
```
assistant