Syntax extension for deriving "typehash" functions automatically