Update notation for semantic types.
Update notation for semantic types.

The notation can be changed in the entire document by modifying the definitions of \denot and \inden.

andreasabel/strong-normalization,andreasabel/strong-normalization