subtyping and typing rules complete
through fig 7 (pg 7) complete! (all relations but T-Let)