Finished proof of admissibility of transitivity.
Improved comments in Type.Context; minor changes in Header file.
Fixed error that was introduced in previous commit.
[auto] merge master into gh-pages
[auto] updated html listings