Dent: Make Warnings Optional and add Concept of Check Types