simplify Head code and State JSDoc annotations (no need to treat undefined values)