Software type for programming languages

This was mentioned in #13 (closed) but not discussed, so I decided to create a separate issue for it.

Currently, a programming language has the software type other. However, I think programming languages are so common that they should have their own software type.