Added inference for named addresses to HMTypes