Renamed the project to shapeless-refined-std