progress on unifying List and IntSeq
progress on unifying List and IntSeq
progress on replacing IntSeq with List
more progress

Conflicts:
	java-backend/src/main/java/org/kframework/backend/java/symbolic/KILtoSMTLib.java
minor

Conflicts:
	java-backend/src/main/java/org/kframework/backend/java/kil/ConcreteCollectionVariable.java
some examples work with List instead of IntSeq
list examples work with List instead of IntSeq; progress on tree examples
fixed type errors due to multiple representation of builtin data structures
minor
Merge remote-tracking branch 'upstream/master'

Conflicts:
	java-backend/src/main/java/org/kframework/backend/java/kil/BuiltinList.java
minor fixes
Merge remote-tracking branch 'upstream/master'
add coversion to KLabel representation for builtin data structures
minor
fixed whitespace
improved map lookup; fixed syntactic conventions for --prove rules
Merge remote-tracking branch 'upstream/master'
removed duplicate rules in indexing table
Merge remote-tracking branch 'upstream/master'
separated SymbolicUnifier and SymbolicConstraint