agda-aaron-stump-stdlib: new package