Make `Entailment` a mere relation

Related to #812, #793

`Entailment` を単なる関係記号に変える．

```lean
class Entailment (S : Type*) (F : outParam Type*) where
    Prf : S → F → Prop
```

いずれ取り組むべきだと思うが，先にやったほうがいいだろうか？

@SnO2WMaN 