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.