Codes of interface List and an array-based list class AList