Grammar for WebIDL