Adds additional properties to LeftModule#2906

bsaul wants to merge 2 commits intoagda:masteragda/agda-stdlib:masterfrom

bsaul:leftmodule-propsbsaul/agda-stdlib:leftmodule-propsCopy head branch name to clipboard