Comment by pie_flavor

It has been in the language for fourteen years. What would be the purpose of changing it? And what else would ! in the type position signify?