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.
add logik back to tutorial in java rewrite engine
delete samples/java_rewrite_engine logik
fix superheating and supercooling for java backend
remove logik line from ktest config
add java backend, whoops
Merge pull request #1221 from dwightguth/logik

add logik back to tutorial in java rewrite engine
Rename all the _ to _void to stop the warnings from the compiler.
Fixing items to display properly in md viewer
Merge pull request #1231 from grosu/readme-edits

Fixing items to display properly in md viewer
Merge pull request #1229 from kframework/underscore

Rename all the _ to _void to stop the warnings from the compiler.
add new entry to changelog for modular sorts