Updated language specification