But isn't there a provision for UltraHal to define it's own gender or neutralness?!
Besides, there are a lot of gender neutral names such as: Pat, Robin, Bobbie, Billie, Jean/Gene, Kelly, Charlie, Jan, Sandy, Marion and many others.
Perhaps if Hal were told strongly enough (different phrasing and statements) and enough times (repetition), it would get the gist.
Just some thoughts....