Introduction to the Darwin Information Typing Architecture