key types. Each value in the bimap is associated with exactly one value of the opposite type. ok jasper@