Fixed the lub in the ListType and added missing operations to the
ListType and SetType.
Temporarily removed 'final' from the ExternalType.isSupertypeOf(Type).