Updated to the latest twelf-library. As result, made some changes.
Used trustme for some theorems that are relying on the clsmap-cxt-capmap/z.
make-tgts-and-caps-consistent