Match changes for liquidhaskell lower case reserved words
Match changes for liquidhaskell lower case reserved words

See https://github.com/ucsd-progsys/liquidhaskell/issues/971

ucsd-progsys/liquid-fixpoint