Qualified import of reasoning modules fixing #2280#2282

JacquesCarette merged 5 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:qualified-reasoningjamesmckinna/agda-stdlib:qualified-reasoningCopy head branch name to clipboard