added highlighting for quantification
added family to keywords
added deriving to keywords
removed prefix keyword