Editing IMMUTABLE in src/backend/parser/gram.y; no effect yet