initial commit for the "Understanding Types" post