reuse StringHash in syntax.ml (Radu's review)