Name collision (Pure programming language already exists)

[philtomson]

There is already a functional language named Pure: https://en.wikipedia.org/wiki/Pure_(programming_language)

Please consider a different name for the language to avoid confusion.