add priority and assoc to kore.k
Update kore.k
Update kore.k
Update kore.k
grrr... checkstyle
Update kore.k
Adding test for syntax priorities.
Merge pull request #1189 from kframework/feature/add-prority-and-assoc-to-kore-syntax

add priority and assoc to kore.k
Fixed READMEs in lambda++
fixed kool example
Merge pull request #1244 from grosu/addressing-print

fixed kool example
Merge pull request #1243 from grosu/fixing-lambdapp

Fixed READMEs in lambda++