Remove Prop, part 2: compiles
Remove Prop, part 3: Update PropNoMore error message