add priority and assoc to kore.k
Update kore.k
Update kore.k
Update kore.k
grrr... checkstyle
Update kore.k
Work on the modularity system.
Added more checks, and fixed module inclusion circularity.
Adding test for syntax priorities.
Fixing syntax declaration in predefined modules.
Removing the tab.
More missing module inclusion.
More inconsistency fixes.
Darn tabs.
Yet another missing import.
Somehow this is required.
Added Lower-Case and Upper-Case Identifiers

Just like the builtin Id is defined, I made LCId and UCId.
Revert "Added Lower-Case and Upper-Case Identifiers"

This reverts commit 05be76ad13f80017c816004ee29135f6cbed322e.
Did as suggested

Added CamelCaseId and PascalCaseId.
function and anywhere