PropNoMore.agda:5,7-11 Prop is no longer supported when checking that the expression Prop has type Set _0