Added list operations and polymorphic equality testing