minor changes
Java backend: a bunch of fixes in order to make [macro] works
Java backend: uncommented macro rules in all three SIMPLE definitions for the Java backend
Java backend: fixed bugs related to reference comparisons between unmodifiable collection wrappers in CopyOnWriteTransformer
Java backend: more progress on fixing bugs related to normalization process and function evaluation
Java backend: more progress on previous work
Java backend: fixed a bug introduced by me ealier
Java backend: revised KOOL definitions to use macro rules