Towards Consistent Language Models Using Declarative Constraints