Type.ref.defn is a Member, not a Member.Type
Adds Ref.defn to be consistent with Type.Ref.defn
Member.isFinal should return true for objects
Adds directSubclasses and directSuperclasses
Adds Name.fresh, because we ain't getting hygiene any time soon
Member.Type now has name