Normalised Q plus related#1313

reswatson wants to merge 2 commits into

agda:masteragda/cubical:masterfrom

reswatson:normalisedQreswatson/cubicalextras:normalisedQCopy head branch name to clipboard