LIst operations in MeTTa