Add annotations for :search result classification
Add upper bounds to cabal package dependencies.
Merge pull request #1525 from bmsherman/searchAnnotation

Add annotations for :search result classification
Remove Cabal library dependency and add more upper bounds
Merge pull request #1528 from bmsherman/cabalUpperBounds2

Add upper bounds to cabal package dependencies (second try)
Added keyword 'constructor'
Added keyword 'constructor' and made preliminary parsing attempt on codata definitions.
Added parser support for copatterns with a preceding punctuation mark. Implementing parsing without a preceding character that distinguishes a copattern from a standard function clause is still an open issue.
Added missing description strings to added parser rules.
Added comment to PLHSProj constructor for PTerm.