Added Basic Simple Type Theory and A Book of Abstract Algebra