Add various relations over non-empty lists#2862

jamesmckinna merged 2 commits intomasteragda/agda-stdlib:masterfrom

non-emptyagda/agda-stdlib:non-emptyCopy head branch name to clipboard