Added section on spotting the pattern, some adjustments to the type systems section