Added tex file for Entailment exercise, additionally fixes some small things in schema