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.
fixed missing syntax
Merge pull request #1218 from omarz1/master

Added Lower-Case and Upper-Case Identifiers