Add new file types: COQ, D, F#, S