Title: The theory of constructive types (principles of logic and mathematics): Part 1--general principles of logic.  Theory of classes and relations