Add 'getSortBase' implementation for List SMTType instance