Still more work on the slides. Added bits about scheme types. More fun times.