widened semigroupoid bounds
.gitignore and extra-source-files
dependency bump for 4.0 semigroupoids