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.
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
simpler
Adding #time function

#time should return the number of milliseconds since the epoch. However,
the return type is long, and long isn't supported in K as far as I know.
I made this commit, even though it's a mess, to get feedback from the
developers on how to properly do this. I was following [this pull
request](https://github.com/kframework/k/pull/967/files) which is why I
put it under IO but then I changed my mind in hooks.properties and made
time.k!
Revert "Adding #time function"

This reverts commit 4ffc56111358265dfd1e241477c9a37348194b96.
Revert "Revert "Adding #time function""

This reverts commit 6b27305f9fd85c8d02ee3108db6147579eedf909.
Revert "Revert "Revert "Adding #time function"""

This reverts commit 5391432743118da0a985180b09a167eae0ef3f07.
fix superheating and supercooling for java backend
improved handling of bottom
replaced bottom instances for different kinds with one bottom instance
fixed issue with partial evaluation infinite recursion