Added guard and subtyping rules.  Started writing some really basic text
about the type system.