A Type Primer