Added initial figures for typing rules.  Still need to fill out guards
and subtyping.