Fixed subtyping for hashtable tops.