uncommented some lines in Everything.agda
	modified:   Everything.agda
Merge branch 'universe-polymorphism' of https://github.com/jmchapman/Relative-Monads into universe-polymorphism