Language specifications and proposals