Rearrange length and chars.
Implemented length.
Fixed PropJoinInjectiveRelationCard not idempotent.
Changed ClaferSearch API.