ok kili@ (who calls me a DESCR nazi for this)
key types. Each value in the bimap is associated with exactly one value of the opposite type. ok jasper@