Fun with "Dynamic" Typing: An Introduction to Universes