cxt-fresh-update-preserves-capmap2perm
cxt-remove-unique-preserves-size
cxt-remove-unique-preserves-lookup-info
proved cxt-remove-unique-preserves-clsmap-cxt
and alot of lemmas about cxt-remove-unique