improved constructor names in syntax of entailments