A Type Primer by John Kane