explained mysterious horse. added PL example. Type system example