Added an inferencer test showing why hash-update needs the last 2 cases in its type.