Change locatedness so that it uses \/ instead of +

We either have to put everything in Prop, or everytning in Type,
otherwise things do not fit. We are opting for Prop, because it is
simpler. Closes #4.