added a check and better error message
fixing-issue#709
included Traian's patch
forbid extending sort K in the Java backend
removed equality/disequality over map/list/set
fixed failing samples
Merge pull request #713 from yilongli/fixing-issue#709

fixing-issue#709
make the maude backend output more deterministic
fix copyright
make the sorting less intrusive to non-confluent definitions
fixed imp-hoare definition
merged with unified-builtins2
fix kast --directory
Merge pull request #615 from yilongli/fixing-issue-#602

Fixing issue #602
fix copyright
update kool transition to use rule tag
add file I forgot to check in
fixed typo; added TODO comment; commented out user-substitution test temporarily
fixed a bug in pattern matcher related to the evaluation of data structure lookup; updated tests
fix code review comments