Fixed leftInverseBinaryTransformDec. New bijection generator functorBijection.