b-types and b-type improvment, it can map b-type over hash-maps and hash-sets